<div id="nav">
	<ul>
		<li><a href="index.php" class="menu">ACCUEIL</a></li>
		<?php if (isset($_SESSION['IDType'])) { if ($_SESSION['IDType']==5) { ?>
		<li><a href="index.php?gestion" class="menu">GESTION</a></li>
		<?php }} ?>
		<li><a href="index.php?recherche" class="menu">RECHERCHE</a></li>
		<li><a href='index.php?deco' class="menu">DECONNEXION</a></li>
	</ul>
</div>